1. ......................

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Microsoft Office,، Microsoft Windows )Computer file(,، Integrated software,Windows )PC operating system(

رده :
QA
76
.
76
.
I57
M49
1995

2. ......................

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Integrated software,Microsoft Office for Windows,Microsoft Windows 59

رده :
QA
76
.
I57
H35
1995

3. <A> Simple guide to office xp

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع : Microsoft office xp,Integrated software

رده :
HF
,
5548
.
4
,.
M52S23

4. Algebra, geometry, and software systems

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Algebra-- Computer programs,، Geometry-- Computer programs,، Integrated software

رده :
QA
155
.
7
.
E4
.
A53
2003

5. Asynchronous trnsfer mode

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)

موضوع : Asynchronous transfer mode,Broadband communication systems,Integrated services digital networks,Local area networks (Computer networks) software

رده :
TK
5105
.
35
.
P79
1995

6. Beginning OpenOffice 3

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : OpenOffice.org (Electronic resource) ; OpenOffice.org (Electronic resource) ; sears. ; Integrated software. ; Integrated software. ; sears. ; Business ; Computer software. ; sears. ;

7. Beginning OpenOffice 3.0 :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : OpenOffice.org (Electronic resource),Integrated software

رده :
QA76
.
76
.
I57
C43
2009

8. Brief Microsoft Office 2000 Professsional

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Microsoft Office,، Integrated software

رده :
QA
76
.
76
.
I57G7

9. Co-verification of hardware and software for ARM SoC design

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع : ، Integrated circuits- Verification,، Computer software- Verification,، Systems on a chip

رده :
TK
7874
.
A595
2005

10. Co-verification of hardware and software for ARM SoC design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip

رده :
E-BOOK

11. Co-verification of hardware and software for ARM SoC design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip

رده :
TK7874
.
A595
2005

12. Complete computer concepts and Windows Applications

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Computers,Integrated software,Microsoft works for windows

رده :
QA
،
76
.
76
،.
I57
,
C661994

13. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses

رده :
QA
76
.
76
.
V47
C38
1993

14. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
2725

15. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
3114

16. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
3576

17. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
1102

18. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Computer software-- Verification,Congresses ، Integrated circuits-- Verification

رده :
QA
76
.
76
.
E93
.
C38
2001

19. Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification

رده :
QA
76
.
L28
Vol
.
2102

20. Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991

پدیدآورنده :

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)

موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses

رده :
TK
7874
.
A3353
1991